operasi seroja 7 desember 1975